package general.constraints;

public interface Constraints {
	public boolean hasConstraint(byte var1, byte val1, byte var2, byte val2);
	public void reset();
	public void addConstraint(byte var1, byte var2, byte val1, byte val2);
	public VariableConstraints getVariableConstraints(byte var);
	public int getNumConflicts(byte var);
	public int getNumConstraints(byte i);
}
